(0 17 10)(1 18 15)(2 19 4)(3 8 5)(6 20 7)(9 13 11)(12 16 14)
ALLOWS (11/8)-SEQUENCE
1: (7 12 20)

(0 17 10)(1 18 15)(2 19 4)(3 8 5)(6 20 16 14 12)(7)(9 13 11)
2: (0 17 10)

(0)(1 18 15)(2 19 4)(3 8 5)(6 20 16 14 12)(7)(9 13 11)(10)(17)
3: (9 13 11)

(0)(1 18 15)(2 19 4)(3 8 5)(6 20 16 14 12)(7)(9)(10)(11)(13)(17)
4: (6 20 16)

(0)(1 18 15)(2 19 4)(3 8 5)(6 14 12)(7)(9)(10)(11)(13)(16)(17)(20)